#ifndef __64BIT_KERNEL_GDT_H__
#define __64BIT_KERNEL_GDT_H__
#include "types.h"

typedef struct {
    ushort  limit;
    int64   base;
} __attribute__((packed)) gdtr_data_t;

void gdt_init();

#endif